dash: Minor style fixes

- 1px border rather than 2
 - less padding around launchers
 - icon prelight was too bright, bring it down a notch

Based on an original patch by Jakub Steiner.

https://bugzilla.gnome.org/show_bug.cgi?id=636156

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 898335859c3917442705622be59c611e9a6ab7e2..b0a638d53d4beefb2ab37a609ea0d9601a36795d 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -301,9 +301,9 @@ StTooltip StLabel {
 #dash {
     color: #5f5f5f;
     font-size: 12px;
-    padding: 6px 0px;
+    padding: 4px 0px;
     background-color: rgba(0, 0, 0, 0.5);
-    border: 2px solid rgba(128, 128, 128, 0.4);
+    border: 1px solid rgba(128, 128, 128, 0.4);
     border-left: 0px;
     border-radius: 0px 9px 9px 0px;
 }
@@ -480,7 +480,7 @@ StTooltip StLabel {
 }
 
 .dash-item-container > .app-well-app {
-    padding: 6px 12px;
+    padding: 4px 8px;
 }
 
 .remove-favorite-icon {
@@ -516,7 +516,7 @@ StTooltip StLabel {
 .app-well-app:hover > .overview-icon,
 .remove-favorite:hover > .overview-icon,
 .search-result-content:hover > .overview-icon {
-    background: rgba(255,255,255,0.33);
+    background: rgba(255,255,255,0.1);
     text-shadow: black 0px 2px 2px;
     transition-duration: 100;
 }